functional calculus

1. MathCAD combines a large library of functional capability including calculus, Laplace transforms, Bessel functions, statistics, and financial functions.
   MathCAD组合了一个庞大的功能库，包括微积分、拉普拉斯变换、贝塞尔函数、统计和财务函数。
2. The inequality is used widely in functional analysis, matrix theory, it is proved again from infinitesimal calculus.
   此不等式在泛函分析、矩阵理论方面有着广泛的应用，从微积分学角度出发再给予证明。
3. Lipschitz Properties of Riesz Functional Calculus
   Riesz函数演算的Lipschitz性质
4. And compact normal operators have some more excellent properties, such as its spectral representation, functional calculus and so on.
   而正规的紧算子具有一些更好的性质，如正规紧算子具有离散的谱表示，正规紧算子的函数演算等。
5. In this chapter, we give some operator inequalities and norm inequalities by means of spectral decomposition and functional calculus.
   在第二章中，作者以谱分解、函数演算等为工具，给出一些重要的算子不等式与范数不等式。
6. The functional calculus is introduced to determine the optimal conversion rate so as to optimize the issuance strategy of convertible bond, thus offering a new way for the design of original indenture for convertible bond.
   运用泛函变分原理，求出最优转换速率，并且进一步得到可转换债券的最优发行策略，为可转换债券发行条件的设计提供了一种新的方法。
7. In this paper, a typed abstract language called LAMBDA-like is defined. Using it as the model, a transformation technique from the functional abstract language based on λ-calculus to a imperative language caled PASCAL-like is presented.
   本文定义一类型化的抽象语言like-LAMBDA，并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。
8. By spectral decomposition of a Hermitian operator and functional calculus, some important norm inequalities on complex Hilbert space are obtained.
   该文给出了它的另一种证明，同时应用算子分解和函数演算，证明了复Hilbert空间上的自伴算子的几个重要范数不等式。
9. It is operator matrix, the convexity and concavity of function, the spectral decomposition of operator and functional calculus that the author is using to generalize some classical inequalities and then to give series of important operator inequalities and norm inequalities.
   本文作者就是借助算子矩阵、函数的凸性和凹性、谱分解、函数演算等为工具，将许多经典的不等式加以推广并给出一系列重要的算子不等式与范数不等式。
10. Based on the principle of minimum stream power, a model of functional extreme of stable channel shape is established, and it is derived that the shape of stable channel is a circular curve by use of calculus of variation.
    本文从最小能耗原理出发，建立了一个稳定渠道断面形状的泛函极值模型，利用变分法求得该模型所得到的稳定渠道断面形状为圆弧形。
11. A new method to solve over-determined geodetic boundary value problem is proposed with the help of minimizing some kinds of functional in variation calculus.
    本文借助于变分法中求泛函极小化的方法提出求解超定大地边值问题的新方法。
12. Since the concept of locally fine point, which is the generalized regular point, was introduced, many problems in nonlinear functional analysis have been solved, such as the conjugacy problem, the rank theorem in advanced calculus and so on.
    f的局部精细点概念是f的正则点的推广。由于它的引进解决了许多非线性泛函分析的问题，如局部共轭定理和现代分析学中的秩定理等等。
13. The differential equation for the vibration of the riser system is derived by means of functional calculus of variation.
    采用泛函变分法导出了隔水管的振动微分方程。
14. Analysis and Research of Functional Mechanism of Relational Calculus
    关系演算运行机制的分析与研究
15. Expression of deflection curve of substructure subjected to linear lateral load is obtained as well as the functional and variation calculus and natural boundary conditions are considered.
    运用泛函变分方法及结构自然边界条件，求得子结构任意线性水平荷载下的侧移曲线一般表达式。

noun

1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

   Synonym:    predicate calculus